формализация

формализация
        ФОРМАЛИЗАЦИЯ — совокупность познавательных операций, обеспечивающая отвлечение от значения понятий и смысла выражений научной теории с целью исследования ее логических особенностей, дедуктивных и выразительных возможностей. В математике и символической логике, где Ф. наиболее развита, под Ф. понимают реконструкцию содержательной научной теории в виде формализованного языка. Ф. исходит из того, что дано исчерпывающее описание дедуктивных взаимосвязей между положениями теории, осуществляемое чаще всего с помощью аксиоматического метода. Она предполагает, что выявлены и четко сформулированы все те логические средства, которые используются при выводе из исходных положений теории др. ее утверждений. Если же, наряду с аксиоматизацией и точным установлением логических средств, понятия и выражения научной теории заменяются некоторыми символическими обозначениями, она превращается в формальную систему. Такая теория может рассматриваться как система материальных объектов определенного рода (символов), с которыми можно обращаться, как с конкретными физическими объектами, а развертывание теории свести к манипулированию этими объектами в соответствии с некоторой совокупностью правил, принимающих во внимание только вид и порядок символов; и тем самым абстрагироваться от того познавательного содержания, которое выражается научной теорией, подвергшейся Ф. Различают два типа формализованных теорий: полностью формализованные, в полном объеме реализующие перечисленные требования, и частично формализованные, когда логические средства, используемые при развертывании данной теории, явным образом не фиксируются. Возможность Ф. отдельных отраслей научного знания подготовлена длительным историческим развитием; она стала реальной лишь после того, как аксиоматический метод и теория вывода получили необходимое развитие. Сама же потребность в Ф. возникает перед той или иной наукой на достаточно высоком уровне ее развития, когда задача логической систематизации и организации наличного знания приобретает первостепенное значение, а возможность реализации этой потребности предполагает огромную предварительную работу мышления, совершаемую на предшествующих Ф. этапах развития научной теории. Ф. — мощное средство выявления и уточнения содержания научной теории. Вся совокупность познавательных приемов и средств, лежащих в основе Ф., ориентирована на то, чтобы обеспечить необходимое соответствие между содержательной научной теорией, подвергаемой Ф., и формальной системой, возникающей в результате ее Ф.: класс выводимых в формализованной теории формул должен совпадать с классом содержательно-истинных положений подвергшейся Ф. теории (но обратное утверждение, как правило, неверно). В этом смысле можно утверждать, что содержательная научная теория служит своеобразным «эталоном», от степени соответствия которому зависят в значительной мере достоинства формализованной теории. Поскольку для построения формальной системы необходимо использовать (хотя и весьма в ограниченном объеме) естественный язык и в терминах этого языка проанализировать ее структуру, описать логические особенности формализма (непротиворечивость, разрешимость), то это означает, что Ф. предполагает содержательное мышление также и в качестве средства построения и исследования своих собственных дедуктивных и выразительных возможностей. Ф. играет важную роль в систематизации той суммы знаний, которая накоплена содержательной теорией, позволяет вычленить и уточнить логическую структуру теории, обеспечить стандартизацию используемого языка и понятийного аппарата, элиминировать несущественные ограничения в степени общности теории, сократить число положений теории, принимаемых за исходные. Вместе с тем Ф. не только дает точный язык, но и является ценным орудием мышления, позволяющим получить новые результаты. История математики, логики, лингвистики и ряда др. наук свидетельствует, что Ф. стимулирует движение познания к новым результатам, открывает возможность формулирования и постановки новых проблем, поиска их решения и т.д. Так, Ф. понятия «алгоритм» позволила доказать несуществование ряда алгоритмов, легла в основу теории автоматов, способствовала утверждению конструктивного направления в математике. Точно так же в ходе решения проблемы автоматического перевода возникла новая научная дисциплина — математическая лингвистика, был внесен важный вклад в совершенствование информационной службы и в развитие теории и методов программирования, что, в свою очередь, способствовало уточнению многих понятий классической лингвистики. Менее значимые результаты получены в ходе попыток Ф. отдельных фрагментов научных теорий в физике, биологии, геологии и др. науках естественнонаучного цикла. В расширении возможностей Ф. существенную роль играет бурный прогресс вычислительной техники. Полученные с помощью методов Ф. результаты имеют важное философское значение для понимания природы и познавательных возможностей точных методов исследования, диалектики формального и содержательного в научном познании. Общеметодологическое значение приобрели важнейшие из результатов, полученных в ходе исследований в области оснований математики и логики, осуществляющихся на основе методов Ф. — теорема Геделя о неполноте достаточно богатых формализованных теорий и теорема Тарского о неформализуемости понятия истины для таких теорий, — выявившие ограниченность дедуктивных и выразительных возможностей формализмов. Во всех тех случаях, когда мы имеем дело с достаточно развитыми научными теориями, процесс формализации не может быть завершен. Ф. не может исчерпать всего богатства содержания таких теорий. Развитие научного знания, в особенности на его наиболее высокотеоретизированных уровнях, осуществляется посредством взаимодействия содержательных и формальных методов исследования при определяющей роли первых.
        В.И. Кураге

Энциклопедия эпистемологии и философии науки. М.: «Канон+», РООИ «Реабилитация». . 2009.

Синонимы:

Смотреть что такое "формализация" в других словарях:

  • ФОРМАЛИЗАЦИЯ — (от лат. forma вид, образ) отображение объектов некоторой предметной области с помощью символов к. л. языка. Простейший вид Ф. прямая репрезентация (обозначение, именование, описание) объектов с помощью терминов. Напр., в естественном языке роль… …   Философская энциклопедия

  • формализация — официализация Словарь русских синонимов. формализация сущ., кол во синонимов: 1 • официализация (3) Словарь синонимов ASIS. В …   Словарь синонимов

  • Формализация — описание основного содержания исследуемого явления (процесса) с помощью т. н. формализованного (формального) языка (символов и правил их написания). В военной теории и практике формализация используется в математическом моделировании,… …   Морской словарь

  • ФОРМАЛИЗАЦИЯ — представление и изучение какой либо содержательной области знания (научные теории, рассуждения, процедура поиска и т. п.) в виде формальной системы или исчисления; связана с усилением роли формальной логики и математических методов в научных… …   Большой Энциклопедический словарь

  • ФОРМАЛИЗАЦИЯ — способ выражения содержания совокупности знаний через опреленную форму знаки искусственного языка. Наиболее значимой разновидностью Ф. является логическая Ф., которая означает выражение мысленного содержания посредством логических форм. Это… …   Новейший философский словарь

  • формализация — ФОРМАЛИЗОВАТЬ, зую, зуешь; ованный; сов. и несов. (книжн.). Представить ( влять) содержательную сторону явления в виде формальной системы или исчисления. Формализованный язык (система специализированных языковых средств или их символов с точными… …   Толковый словарь Ожегова

  • ФОРМАЛИЗАЦИЯ — (от лат. formalis предпочтение формы) англ. formalization; HevbFormalisierung. 1. Представление содержательной стороны явления в виде формальной системы или исчисления. 2. В научной теории построение логической структуры, посредством к рой все… …   Энциклопедия социологии

  • формализация — и, ж. formalisation f. Представление в виде формальной системы …   Исторический словарь галлицизмов русского языка

  • Формализация — [formaliza­tion] описание теорий, осмысленных предложений и т.п. формальными средствами, прежде всего символами математики и математической логики (но бывают случаи и такие, что символами оказываются обыкновенные слова, только безукоризненно… …   Экономико-математический словарь

  • ФОРМАЛИЗАЦИЯ — Представление какой либо содержательной области (рассуждений, доказательств, процедур классификации, поиска информации научных теорий) в виде формальной системы. Позволяет систематизировать, уточнить и методологически прояснить содержание теории …   Словарь бизнес-терминов

Книги

Другие книги по запросу «формализация» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»